Another Short and Elementary Proof of Strong Subadditivity of Quantum Entropy
نویسنده
چکیده
A short and elementary proof of the joint convexity of relative entropy is presented, using nothing beyond linear algebra. The key ingredients are an easily verified integral representation and the strategy used to prove the Cauchy-Schwarz inequality in elementary courses. Several consequences are proved in a way which allow an elementary proof of strong subadditivity in a few more lines. Some expository material on Schwarz inequalities for operators and the Holevo bound for partial measurements is also included.
منابع مشابه
A holographic proof of the strong subadditivity of entanglement entropy
When a quantum system is divided into subsystems, their entanglement entropies are subject to an inequality known as strong subadditivity. For a field theory this inequality can be stated as follows: given any two regions of space A and B, S(A)+S(B) ≥ S(A∪B)+ S(A ∩ B). Recently, a method has been found for computing entanglement entropies in any field theory for which there is a holographically...
متن کاملInequalities for Quantum Entropy: A Review with Conditions for Equality
This paper presents self-contained proofs of the strong subadditivity inequality for von Neumann’s quantum entropy, S(ρ), and some related inequalities for the quantum relative entropy, most notably its convexity and its monotonicity under stochastic maps. Moreover, the approach presented here, which is based on Klein’s inequality and Lieb’s theorem that the function A → Tr eK+logA is concave, ...
متن کاملFaithful Squashed Entanglement with applications to separability testing and quantum Merlin-Arthur games
We derive the lower bound on squashed entanglement from a lower bound on the quantum conditional mutual information, which corresponds to the amount by which strong subadditivity of von Neumann entropy fails to be saturated. Our result therefore sheds light on the structure of states that almost satisfy strong subadditivity with equality. The proof of the lower bound is based on two recent resu...
متن کاملStructure of states which satisfy strong subadditivity of quantum entropy with equality
We give an explicit characterisation of the quantum states which saturate the strong subadditivity inequality for the von Neumann entropy. By combining a result of Petz characterising the equality case for the monotonicity of relative entropy with a recent theorem by Koashi and Imoto, we show that such states will have the form of a so–called short quantum Markov chain, which in turn implies th...
متن کاملA Minkowski Type Trace Inequality and Strong Subadditivity of Quantum Entropy Ii: Convexity and Concavity
We revisit and prove some convexity inequalities for trace functions conjectured in the earlier part I. The main functional considered is Φp,q(A1, A2, . . . , Am) = (
متن کامل